搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Microbial growth : nineteenth symposium of the Society for General Microbiology held at University College, London, April 1969 0 索取号：Q93-53/E701 作者：出版社：London : published for the Society for General Microbiology [by] Cambridge U.P., 1969.		IEEE conference record of 1978 thirteenth Pulse Power Modulator Symposium : papers presented at the Statler Hilton-Buffalo, New York, June 20-22, 1978 0 索取号：TN78-53/E901/13 作者：Pulse Power Modulator Symposium (13th : 1978 : Buffalo)、IEEE Electron Devices Society、United States. Advisory Group on Electron Devices、State University of New York at Buffalo、出版社：New York : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : available form IEEE Single Copy Sales, c1978
	Computer programs for electronic analysis and design 0 索取号：TN710/E902 作者：Bugnolo、 Dimitri Spartaco.、出版社：Reston, Va. : Reston Pub. Co., 1983.		1984 IEEE International Symposium on Circuits and Systems proceedings : Queen Elizabeth Hotel, Montreal, Canada, May 7-10, 1984 0 索取号：TN7-53/E801/1984.1 作者：IEEE International Symposium on Circuits and Systems (1984 : MontŕЕal、 QúЕbec)、IEEE Circuits and Systems Society.、Concordia University.、Institute of Electrical and Electronics Engineers. Montreal Section.、出版社：Piscataway ,N.J. International institute of Electrical and Electronics Engineers service center : Additional copies may be obtained from IEEE , 1984.
	VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 0 索取号：TN47-53/E902/2 作者：IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (2nd : 1983 : Trondheim、 Norway)、Anceau、 F.、Aas、 E. J. (Einar J.)、IFIP TC-10.、IFIP WG 10.5.、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole ditributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Symposium proceedings : 1981 University/Government/Industry Microelectronics Symposium 0 索取号：TN4-53/E902/4 作者：University/Government/Industry Microelectronics Symposium (4th : 1981 : Mississippi State University、 Starkville、 Miss.)、IEEE Components、 Hybrids、 and Manufacturing Technology Society.、National Science Foundation (U.S.).、International Society for Hybrid Microelectronics.、出版社：Piscataway, N.J. : IEEE [distributor], 1981
	Proceedings of the Conference on Hybrid Microelectronics : [held from] Tuesday 25 to Thursday 27 September 1973 [at the] University of Kent at Canterbury 0 索取号：TN45-53/E804/1973 作者：Conference on Hybrid Microelectronics、 University of Kent at Canterbury、 1973.、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、出版社：London (8 Bedford Sq., WC1 3RG) : Institution of Electronic and Radio Engineers, 1973.		Proceedings 0 索取号：TN402-53/E903/3 作者：Workshop on Interactive Computing: CAE: Electrical Engineering Education (3rd : 1984 : University of Pittsburgh)、IEEE Computer Society. Technical Committee--Computer Graphics.、College CAD/CAM Consortium.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984.
	Proceedings 0 索取号：TN402-53/E903/2 作者：Workshop on Interactive Computing: CAD/CAM: Electrical Engineering Education (2nd : 1983 : George Washington University)、IEEE Computer Society. Technical Committee--Computer Graphics.、College CAD/CAM Consortium.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1982,c1983.		Proceedings 0 索取号：TN402-53/E903/1 作者：Workshop on Interactive Computing: CAD/CAM: Electrical Engineering Education (1st : 1982 : Charlottesville、 Va.)、IEEE Computer Society.、College CAD/CAM Consortium.、出版社：Los Angeles Silver Spring, MD. (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, 1982.
	Applications of digital image processing VI : August 23-26, 1983, San Diego, California 0 索取号：TN27-53/E804/6 作者：出版社：California Bellingham, Wash., USA : SPIE-the International Society for Optical Engineering, 1983.		Pattern recognition in practice : proceedings of an international workshop held in Amsterdam, May 21-23, 1980 0 索取号：TN27-53/E901 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
	Proceedings of a workshop held at the National Bureau of Standards, Gaithersburg, MD, June 3-4, 1976 0 索取号：TN27-53/E806/1976 作者：Workshop on Standards for Image Pattern Recognition、 National Bureau of Standards、 1976.、Evans、 John M. (John Martin)、 1942-、Kirsch、 Russell A.、Nagel、 Roger N.、 1943-、United States. National Bureau of Standards.、出版社：[Washington] : GPO U.S. Dept. of Commerce, National Bureau of Standards : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1977.		Proceedings of the Workshop on Picture Data Description and Management, August 27-28, 1980, Asilomar, Calif 0 索取号：TN27-53/E904/1980 作者：Workshop on Picture Data Description and Management (1980 : Asilomar、 Calif.)、IEEE Computer Society. Technical Committee on Machine Intelligence and Pattern Analysis.、出版社：New York IEEE Los Alamitos, CA : The Society, c1980.
	Time-varying image processing and moving object recognition : proceedings of the international workshop, Florence, Italy, September 8-9, 1986 0 索取号：TN27-53/E902 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.		Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings 0 索取号：TP302.2-532/E20011/1999 作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、出版社：Berlin ; New York : Springer, c1999.

	Microbial growth : nineteenth symposium of the Society for General Microbiology held at University College, London, April 1969 0 索取号：Q93-53/E701 作者：出版社：London : published for the Society for General Microbiology [by] Cambridge U.P., 1969.		IEEE conference record of 1978 thirteenth Pulse Power Modulator Symposium : papers presented at the Statler Hilton-Buffalo, New York, June 20-22, 1978 0 索取号：TN78-53/E901/13 作者：Pulse Power Modulator Symposium (13th : 1978 : Buffalo)、IEEE Electron Devices Society、United States. Advisory Group on Electron Devices、State University of New York at Buffalo、出版社：New York : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : available form IEEE Single Copy Sales, c1978
	Computer programs for electronic analysis and design 0 索取号：TN710/E902 作者：Bugnolo、 Dimitri Spartaco.、出版社：Reston, Va. : Reston Pub. Co., 1983.		1984 IEEE International Symposium on Circuits and Systems proceedings : Queen Elizabeth Hotel, Montreal, Canada, May 7-10, 1984 0 索取号：TN7-53/E801/1984.1 作者：IEEE International Symposium on Circuits and Systems (1984 : MontŕЕal、 QúЕbec)、IEEE Circuits and Systems Society.、Concordia University.、Institute of Electrical and Electronics Engineers. Montreal Section.、出版社：Piscataway ,N.J. International institute of Electrical and Electronics Engineers service center : Additional copies may be obtained from IEEE , 1984.
	VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 0 索取号：TN47-53/E902/2 作者：IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (2nd : 1983 : Trondheim、 Norway)、Anceau、 F.、Aas、 E. J. (Einar J.)、IFIP TC-10.、IFIP WG 10.5.、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole ditributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		Symposium proceedings : 1981 University/Government/Industry Microelectronics Symposium 0 索取号：TN4-53/E902/4 作者：University/Government/Industry Microelectronics Symposium (4th : 1981 : Mississippi State University、 Starkville、 Miss.)、IEEE Components、 Hybrids、 and Manufacturing Technology Society.、National Science Foundation (U.S.).、International Society for Hybrid Microelectronics.、出版社：Piscataway, N.J. : IEEE [distributor], 1981
	Proceedings of the Conference on Hybrid Microelectronics : [held from] Tuesday 25 to Thursday 27 September 1973 [at the] University of Kent at Canterbury 0 索取号：TN45-53/E804/1973 作者：Conference on Hybrid Microelectronics、 University of Kent at Canterbury、 1973.、Institution of Electronic and Radio Engineers.、Institution of Electrical Engineers.、出版社：London (8 Bedford Sq., WC1 3RG) : Institution of Electronic and Radio Engineers, 1973.		Proceedings 0 索取号：TN402-53/E903/3 作者：Workshop on Interactive Computing: CAE: Electrical Engineering Education (3rd : 1984 : University of Pittsburgh)、IEEE Computer Society. Technical Committee--Computer Graphics.、College CAD/CAM Consortium.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1984.
	Proceedings 0 索取号：TN402-53/E903/2 作者：Workshop on Interactive Computing: CAD/CAM: Electrical Engineering Education (2nd : 1983 : George Washington University)、IEEE Computer Society. Technical Committee--Computer Graphics.、College CAD/CAM Consortium.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1982,c1983.		Proceedings 0 索取号：TN402-53/E903/1 作者：Workshop on Interactive Computing: CAD/CAM: Electrical Engineering Education (1st : 1982 : Charlottesville、 Va.)、IEEE Computer Society.、College CAD/CAM Consortium.、出版社：Los Angeles Silver Spring, MD. (1109 Spring St., Silver Spring 20910) : IEEE Computer Society Press, 1982.
	Applications of digital image processing VI : August 23-26, 1983, San Diego, California 0 索取号：TN27-53/E804/6 作者：出版社：California Bellingham, Wash., USA : SPIE-the International Society for Optical Engineering, 1983.		Pattern recognition in practice : proceedings of an international workshop held in Amsterdam, May 21-23, 1980 0 索取号：TN27-53/E901 作者：出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
	Proceedings of a workshop held at the National Bureau of Standards, Gaithersburg, MD, June 3-4, 1976 0 索取号：TN27-53/E806/1976 作者：Workshop on Standards for Image Pattern Recognition、 National Bureau of Standards、 1976.、Evans、 John M. (John Martin)、 1942-、Kirsch、 Russell A.、Nagel、 Roger N.、 1943-、United States. National Bureau of Standards.、出版社：[Washington] : GPO U.S. Dept. of Commerce, National Bureau of Standards : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1977.		Proceedings of the Workshop on Picture Data Description and Management, August 27-28, 1980, Asilomar, Calif 0 索取号：TN27-53/E904/1980 作者：Workshop on Picture Data Description and Management (1980 : Asilomar、 Calif.)、IEEE Computer Society. Technical Committee on Machine Intelligence and Pattern Analysis.、出版社：New York IEEE Los Alamitos, CA : The Society, c1980.
	Time-varying image processing and moving object recognition : proceedings of the international workshop, Florence, Italy, September 8-9, 1986 0 索取号：TN27-53/E902 作者：出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.		Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings 0 索取号：TP302.2-532/E20011/1999 作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、出版社：Berlin ; New York : Springer, c1999.